Nuprl Definition : int_hgrp_to_nat
13,42
postcript
pdf
nat(
n
) ==
n
latex
Up
groups
1
Wellformedness Lemmas
int
hgrp
to
nat
wf
origin